- конъюнктивный нормальная форма
- Computers: conjunctive normal form
Универсальный русско-английский словарь. Академик.ру. 2011.
конъюнктивный нормальная форма
Смотреть что такое "конъюнктивный нормальная форма" в других словарях:
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
Конъюнктивный одночлен — (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то… … Википедия
Совершенный одночлен — конъюнктивный или дизъюнктивный одночлен, в котором от каждой пары имеется только один представитель или Примеры совершенный конъюнктивный одночлен … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Дизъюнктивный одночлен — (макстерм) от переменных дизъюнкция этих переменных или[1] их отрицаний. Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1. Примеры … Википедия
Макстерм — Дизъюнктивный одночлен (макстерм) от переменных дизъюнкция этих переменных или[1] их отрицаний. Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1.… … Википедия
Минтерм — Конъюнктивный одночлен (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся… … Википедия
